Constraint logic programming for reasoning about discrete event processes
نویسندگان
چکیده
منابع مشابه
Reasoning about Discrete Event Sources
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending in undesirable states. In previous research, the problem is shown to be NP-Complete even if the number of events to occur is fixed in advance. In this paper, we consider possible events sequences of indefinite length a...
متن کاملReasoning about Triggered Scenarios in Logic Programming
This paper presents a logic programming approach, based on the Event Calculus (EC), for representing and reasoning about triggered scenarios (TS), an expressive dialect of message sequence charts widely employed in software requirements engineering to specify system behaviour. We introduce a sound translation for triggered scenarios into an EC-based Answer Set Programming (ASP) representation, ...
متن کاملReasoning about Fluents in Logic Programming
Fluent Logic Programming (FLP) is an attempt to suitably combine into a simple language ideas coming from well known temporal reasoning frameworks like Kowalski's Event Calculus and Sandewall's Features and Fluents. In this paper we propose the core syntax of FLP together with two complementary semantics. The rst one is a x-point semantics which declaratively captures the operational notion of ...
متن کاملReasoning about Actions with Abductive Logic Programming
In order to construct a computer-based system which can reason and act intelligently in the real world, we have to develop a computational but provably correct methodology and its related software system which can reason about actions and changes in dynamic domain. For this purpose we propose to use abductive logic programming paradigm as the computational mechanism. Technically, we make use of...
متن کاملConstraint Logic Programming for Structure-based Reasoning about Dynamic Physical System
The paper describes a framework for reasoning about dynamic physical systems based on structure. The framework integrates the language of bond graphs (BG) with the language of constraint logic programming (CLP). The advantage of such integration is twofold. First, to exploit the wealth of reasoning methods developed in the BG area within system dynamics. Second, to enhance the naturalness of re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1991
ISSN: 0743-1066
DOI: 10.1016/0743-1066(91)90028-n